Towards a software quality certification of master data-based applications
نویسندگان
چکیده
منابع مشابه
Towards Assured Data Quality and Validation by Data Certification
Increasingly a large amount of data relevant to a wide variety of scientific domains is self-published by scientists on websites and this is proving to be an important resource for the replicability and further development of science. Much of this data is even made available as linked data. However, the self-publishing model provides no quality control on the data, and as such datasets frequent...
متن کاملTowards a Semantic Data Quality Management - Using Ontologies to Assess Master Data Quality in Retailing
A high quality of master data is vital for process automation and IS support in enterprises. Retailers and manufacturers have started improving their master data quality on a syntactical level. Many researchers address problems of syntactical master data quality (e.g. missing values, typo errors), but only few approaches target semantic issues of master data quality management. Poor semantic da...
متن کاملTowards Formal Certification of Software Components
Software certification as it is practised today guarantees that certain standards are kept in the process of software development. However, this does not make any statements about the actual quality of implemented code. We propose an approach to certify the non-functional properties of componentbased software which is based on a formal refinement calculus, using the performance abstractions of ...
متن کاملSAT-Based Software Certification
We formalize a notion of witnesses for satisfaction of linear temporal logic specifications by infinite state programs. We show how such witnesses may be constructed via predicate abstraction, and validated by generating verification conditions and proving them. We propose the use of SAT-based theorem provers and resolution proofs in proving these verification conditions. In addition to yieldin...
متن کاملQuality assurance and certification of software modules
More than 70 electronic control units (ECU’s) serve for safety and comfort functions in a luxury car. Communicating over different bus systems (e.g. CAN class C and B, LIN, MOST, Bluetooth) on one hand many ECU’s are dealing with close loop control functions as well as reactive functions and do have many safety critical hard real time constraints (thus the software is running under a real time ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Quality Journal
سال: 2020
ISSN: 0963-9314,1573-1367
DOI: 10.1007/s11219-019-09495-w